军用软件的测试与实践方法

首先分析了民用软件存在的问题,然后结合军用软件的特点,对影响军用软件可靠性的因素进行分析,最后提出提高军用软件质量的几种测试与实践方法.     

架构和模式在水声信息流仿真软件中的应用

水声信息流仿真软件系统涉及多目标、多声纳以及多变的海洋环境.仿真软件的复用性是现代软件工程的重要性能指标.针对系统开放性的特点,在领域分析模型的基础上,采用了面向对象方法设计仿真软件模型.为了满足软件多层次复用的需求,应用软件架构技术和设计模式设计仿真软件.根据水声信息流仿真软件需求,系统划分为四层结构;按功能,层又可分解为包.可复用的设计模式用于设计不同层和包中类之间的关系.提出的仿真软件模型具有良好的可扩充性与可复用性.     

定向毫米波网络邻居发现协议

针对定向毫米波网络各节点间无波束方向先验信息导致邻居发现困难的问题,提出了一种基于盲交汇算法的邻居发现协议,推导了邻居发现过程中时隙长度、波束个数与邻居发现时间之间的理论关系。进一步,为了缩短邻居发现的时间,在盲交汇算法的邻居发现协议的基础上,提出了基于位置预测的邻居发现协议。仿真结果表明,基于盲交汇算法的邻居发现协议的最长邻居发现时间小于无协调的定向邻居发现协议,波束个数N接近2n(2n－1n,n>1,n∈Z)时,平均邻居发现时间低于无协调的定向邻居发现算法。此外,基于位置预测的邻居发现协议可以有效缩短邻居发现时间。     

Human security in pastoralist areas of Eastern Africa

Abstract

Pastoralist groups in Eastern Africa are extremely vulnerable as a result of inter-community conflicts, the harsh terrain, and unfavourable climatic conditions. They have been neglected by successive regimes on matters of socio-economic development. At present pastoralist areas in Eastern Africa have the lowest literacy rates and insufficient health care facilities. This article interrogates the historical relationship between governments, humanitarian groups and pastoralists. It notes with great concern that pastoralists have been branded as hunger-stricken populations with insignificant economic potential that can be harnessed from their day-to-day livelihood. They are treated as sedentary populations who need a constant supply of relief food to keep going. In order to reverse these misconceptions, the article places emphasis on mitigating the threats of intra-community conflicts, diseases and natural disasters through investment in social schemes and infrastructure in order to open up the areas for service provision. Indeed, for a majority of the pastoralists, insecurity comes not so much from traditional security concerns, but from human insecurity concerns about their survival, preservation of their lifestyle and well-being in a day-to-day context.     

模糊推理在软件维护性评估和预测中的应用

摘要：在基于活动的质量模型维护性分析方法基础上,对贝叶斯方法进行了扩展,将模糊推理技术与现有的贝叶斯方法进行比较,开发了一个基于模糊推理的系统来对软件维护性进行量化评估和预测,描述了模糊技术在维护性评估和预测准确度方面的优势．     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

现代潜艇作战软件的需求与技术难点

随着现代潜艇探测设备在探测目标数量上的增加、探测范围的提高及武器装备性能的改进,潜艇的作战效能越来越多地依赖于潜艇指控系统的信息处理能力,由此就为潜艇作战软件的功能和性能提出了新的要求。以此为目的、以潜艇信息化装备建设为目标,从分析潜艇作战的客观环境和技术特点着手,阐述了潜艇作战软件的功能需求、辅助指挥决策模式和研制开发的技术难点。     

航测平台计算机系统软件设计

根据航测平台系统计算机的功能要求 ,采用数据流图对航测平台系统软件进行了分析 ,对系统软件各模块进行了划分 ,确定了系统软件的设计方案 ,并在此基础上 ,完成了航测平台控制计算机系统软件的设计和实现 .     

软件可靠性考核试验方法研究

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究     

如何估计软件的MTBF

软件剩余初始故障个数No、平均无故障时间MTBF、故障暴露率λ和软件运行的成功率θ等是衡量软件可靠性的重要参数.其中对高可靠性软件(包括军用软件等)MTBF是最重要的.传统的MTBF计算方法有2种一是计算发生故障的平均时间间隔二是通过软件可靠性模型进行估计.前者代价较大,后者不太准确.本文从软件的失败率入手研究软件的MTBF,这是一个比较贴近实际的方法.